Analysing input/output-capabilities of mobile processes with a generic type system
نویسندگان
چکیده
منابع مشابه
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System
We introduce a generic type system for the synchronouspolyadic -calculus, allowing us to mechanize the analysis of input/output capabilities of mobile processes. The parameter of the generic type system is a lattice-ordered monoid, the elements of which are used to describe the capabilities of channels with respect to their input/outputcabilities. The type system can be instantiated in order to...
متن کاملthe investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
performance of biological system and advanced oxidation processes (aop) treating antibiotic production industrial wastewater
در این مطالعه، عملکرد دو سیستم اکسیداسیون شیمیایی پیشرفته و یک سیستم بیولوژیکی برای حذف آموکسی سیلین در فاضلاب های سنتزیدر غلظت های مشابه با موارد صنعتی مورد بررسی قرار گرفته شدند. مطالعه انجام شده دارای سه بخش متفاوت اکسیداسیون با ازن و اشعه uv، اکسیداسیون با استفاده از نانو فتوکاتالیست tio2 و استفاده از بیوراکتور هوازی لجن فعال با جداکننده های فیزیکی می باشد. در هر بخش، متغیر های متفاوتی متنا...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2005
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2004.01.004